3.tasks.md(任务清单)—— 将技术方案拆分为可执行的具体任务(todolist)Spec Coding MCP项目地址:https://github.com/feiyun0112/spec-coding-mcp 注意,使用此MCP,需要.net 10,请提前安装:https://dotnet.microsoft.com/en-us/download/dotnet/10.0CodeBuddy 国际版如何安装 spec-coding-mcp1 、下载发布版exe程序进入下载页面:https://github.com/feiyun0112/spec-coding-mcp/releases2、解压出来,并获取当前exe路径3、CodeBuddy "disabled": false, "timeout": 60, "type": "stdio", "command": "D:\\MCPServer\\spec-coding-mcp \\SpecCodingMcpServer.exe", "args": [], "env": {} } } }其中command是你的spec-coding-mcp
两种新兴的高级 AI 编程范式证明了这一趋势: Spec Coding (规约驱动编码): 以 Kiro AI IDE 的实践为代表,这种模式下,AI 会严格引导开发者遵循“编写需求文档 -> 编写设计文档 像 Spec Coding 和 ContextDev 这样的严谨范式,正是第一节中提到的“文档优先”方法的最终形态,它们将最佳实践固化为强制性的、可追溯的工作流,预示着软件“工厂化生产”的梦想正变得越来越真实
Omni 协议层曾在于比特币协议层与用户货币层之间,旨在成为可以发布个性化货币的基础协议。实现Omni协议的软件将包含一个工具,可以允许人们去设计并发行自定义规则的货币,而不需要去做任何的软件开发。
前后端联调:SDD+MCP的联调路径:接口URL→MCP直连文档→一次性获取字段、枚举、必填项→接口文件一次生成→联调一次通过,6个接口零联调返工。 MCP二:飞书云文档直读通过该MCP工具,AI可以直接读取飞书云文档的内容(PRD、设计说明、技术文档等),无需用户手工打开→复制→粘贴。 通过Spec强制进行“先设计后编码”,可以确保AI的每一步都在既定轨道上,且Spec记录了设计的决策过程,对于后期维护价值巨大。 应对:Spec工作流的proposal阶段强制要求先描述「Why」,避免AI自行填充目标。 规范是杠杆,AI是力,Spec工作流是支点。
当前,使用vibe coding开发前端界面时候,基本上都是盲目看代码或者是加日志,然后用户去console拷贝过来告诉它为啥失败,非常的繁琐。 安装方法 将如下mcp服务配置到任何你喜欢的vibe ide中,还有人不会配置吗? 实时验证代码更改 使用AI Agent生成修复,然后自动验证解决方案是否按预期与Chrome DevTools MCP工作。 总结 本来开发网页,DevTools就是少不了的一环,现在Chrome把MCP这个环节补全了,简直完美! 而且这个东西,也不只是vibe coding时候有用,他也支持自动化测试啊,不知道是否可以通过语言来制定测试的流程,以前这些都要手写,着实麻烦!
Commit messages are short descriptions of changes to a repository. We should follow certain standards to effectively describe changes, such as the most used Angular Commit specification on GitHub, or each development team can simplify and formulate their own submission specifications, which is not only conducive to the automatic generation of Changelog in the later stage, but more importantly, when it appears When there is a bug, the entire warehouse can be quickly checked, the problem point can be accurately located, and the version can be returned.
AI工具实践范例 基于 tapd 需求做初步分解(需 tapd mcp) 请分析tapd需求<tapd url>,并将其拆分为多个独立的子需求。 在拆分时,你必须严格遵循以下原则: 1. SPEC 不是银弹,它也有自己的问题 SPEC 流程并不完美。 SPEC 与 Vibe Coding 并非对立,而是互补 坚持用 SPEC 不代表要彻底放弃 Vibe Coding。 在探索新技术栈、摸索新业务或快速验证产品想法时,Vibe Coding 的自由探索依然不可或缺。关键在于,我们可以有意识地沉淀 Vibe 过程中的成功经验和踩坑教训。 spec-workflow-mcp: https://github.com/Pimzino/spec-workflow-mcp -End- 原创作者|朱邦义
今天继续聊AI软件工程方面的话题,继续继续测试和验证采用AWS的Kiro进行Spec Coding的方式进行编程。 注:上图是我提供给AI的原型参考界面。 在上一篇文章已经介绍了Kiro提供的Spec定义和Plan任务规划模式,会基于原始需求先生产需求文档,设计文档,编码任务文档,然后再开始后续任务的执行。 这个也是我原来一直强调的,后续AI-IDE功能一定会增加类似集成了PlayWright MCP工具后的模拟人一样的类似RPA机器人一样的黑盒测试能力。会增加类似人一样的界面UI的多模态视角识别能力。 Kiro进行Spec Coding的方式试用下来仍然是一个推荐的模式。因为这个案例我用相当多的工具进行过测试,相当来说Kiro这种Spec驱动的方式仍然是交互次数最小的方式。
默认情况下,编译器使用操作的 operationId 来确定相应 REST 调用调用的方法的名称。可以指定不同的名称。为此,请将以下内容添加到规范类的 OpenAPI XData 块中的操作中:
今天继续聊AI软件工程方面的话题,继续继续测试和验证采用AWS的Kiro进行Spec Coding的方式进行编程。 注:上图是我提供给AI的原型参考界面。 在前面我也讲过Spec Coding这种模式,也是AI软件工程思想本身的一种落地实践。 编写数据库设计文档 - 编写代码结构说明 - _需求: 所有需求的开发支持_ - 准备演示数据 - 项目打包和交付 - _需求: 所有需求的交付支持_ 注意,即使我们不采用Kiro进行Spec Coding,我们完全可以参考Kiro提供的这套Spec上下文工程定义规范。 对于复杂软件项目的开发,我们完全可以参考这套规范进行Spec的编写。 对于最终的开发输出和测试验证,后续进一步分享。
SPEC2006软件编译安装IOS软件解压在win操作系统用winRAR软件对ISO文件进行直接解压,不可将ISO文件用刻盘软件进行刻盘,会丢失文件。 修改spec2006内文件cd /home/speccpu/tools/ 目录下修改 make-3.82/glob/glob.c把 # if _GNU_GLOB_INTERFACE_VERSION == 函数的问题和 numconvert.t 测试失败的问题(参考 https://serverfault.com/a/801997/323597 和 如何在 Hifive Unmatched 开发板上安装 SPEC *,解决 miniperl Segmentation fault 的问题(参考 unmatched(riscv64) 上编译,安装和移植 SPEC CPU 2006)@@ -4536,7 +4536,7 shrc packagetools linux-sw64 export SPEC_INSTALL_NOCHECK=1 .
AI领域中的Spec详解引言在人工智能领域中,"spec"通常是specification(规格、规范)的缩写,用于描述一个系统、模型、接口、功能或行为的详细定义。 本文将从五个常见场景出发,详细解析"spec"在AI领域中的具体使用方法和最佳实践。 进行模型部署,用户可以判断模型是否满足业务需求,同时spec也是实现模型互操作性的重要基础(如ONNX格式中的模型spec)。 例如,Llama3的官方spec会明确说明其上下文长度为8192tokens,支持多语言,并采用RMSNorm归一化等技术细节。 掌握不同场景下Spec的使用方法,是AI开发者必备的核心技能。
PART01 什么是 Spec Coding 1.从 Vibe Coding 说起 相信关注这个系列的读者对 Vibe Coding 都不陌生,很多人应该已经在日常工作中大量使用了。 2.Spec Coding:给 Vibe Coding 加上结构 Spec Coding,全称是 Spec-Driven Development(规格驱动开发),最早是 AWS 在它的 AI IDE 产品 需要强调的是,Spec Coding 并不是 Vibe Coding 的对立面,而是它的进化。在最终的实现阶段,AI 仍然是用 Vibe Coding 的方式来写代码。 这个项目的核心价值是:它把 Spec Coding 的工作流固化成了 Claude Code 可以执行的标准流程。 4.上下文管理技巧 Spec Coding 天然会产生大量的文档,一个完整的 Spec 加上相关的已有代码,可能有几万甚至十几万 token。
个人体感TRAE在国内Coding IDE里算Very Good,比开源的Cline,Kilo等在Token使用上效率更高,但和cursor还有距离。 如何最大化Token使用效率和效果是个系统工程问题~ Vibe Coding实战:从零构建代码沙箱 本来想完整分享整个Vibe Coding过程的,结果TRAE升级把历史对话记录清空了(哭)。 self.kernel_manager = KernelManager( kernel_name='python3', kernel_spec_manager _create_custom_kernel_spec_manager() ) # 设置环境变量 env = os.environ.copy() MCP - 工具演变 & MCP基础中提到的MCP本身并不是工具,它只是Adapter,而FastAPI-MCP库完美体现了这一特性——它可以将现有的FastAPI工具直接转换成标准MCP服务。
Spec Kit 更快地构建高质量软件。 一个开源工具包,让你专注于产品场景和可预测的结果,而不是从头开始对每个部分进行氛围式编码。 目录 • 什么是规范驱动开发? 快速升级: uv tool install specify-cli --force --from git+https://github.com/github/spec-kit.git 选项 2:一次性使用 无需安装,直接运行: uvx --from git+https://github.com/github/spec-kit.git specify init <PROJECT_NAME> 持久化安装的好处 视频概览 想看看 Spec Kit 的实际运作吗?观看我们的视频概览[19]! [20] 视频地址:https://www.youtube.com/watch? 了解更多 详见:https://github.com/github/spec-kit 故障排除 Linux 上的 Git 凭据管理器 如果你在 Linux 上遇到 Git 身份验证问题,可以安装 Git
编写 spec 我们已经通过一些例子查看并编写了一些spec,现在是更进一步查看spec框架本身的时候了。确切地说,你在Atom中如何编写测试呢? Atom使用Jasmine作为spec框架。 创建新的 spec Atom的spec和包的spec都要添加到它们各自的spec目录中。下面的例子为Atom核心创建了一个spec。 创建spec文件 spec文件必须以-spec结尾,所以把sample-spec.coffee添加到atom/spec中。 运行 spec 大多数情况你会想要通过触发window:run-package-specs来运行spec。这个命令不仅仅运行包的spec,还运行了Atom的核心spec。 它会运行当前项目spec目录中的所有spec。如果你想要运行Atom的核心spec和所有默认包的spec,触发window:run-all-specs命令。
1. 2025:从代码补全到智能体编程的进化 1.1 Agentic Coding:这一年的范式转变 如果说 2024 年我们还在好奇地试探 Copilot,那么 2025 年就是 Agentic Coding 但在 Agentic Coding 时代,文档的地位发生了根本性逆转: 文档不再是开发的附属品,而是 AI 智能体的"操作系统"。 协议支持:扩展能力的桥梁 国内首个支持 MCP 的 CLI 工具:可以无缝接入各种 MCP 服务器 项目级 MCP 配置:通过 .mcp.json 文件定义团队共享的工具链 4️⃣ Skills:AI 上午 10:00:你审查 Spec,补充了技术约束(如"必须支持幂等性")。 拥抱 MCP 生态:选择支持 MCP 的工具链,避免工具孤岛。 给个人开发者 学会"讲故事":你的 Spec 文档就是给 AI 的"剧本",写得越清楚,AI 演得越好。
之前我们分享过《如何使用 CODING 研发管理系统开发 CODING》的文章,时过境迁,现在 CODING 研发管理系统已经上线了如持续集成、缺陷管理、测试管理等 DevOps 中的重要功能,并增加了对 借此机会我们以自身的研发流程为例,来展示一下 How CODING uses CODING to build CODING 2.0。 ? 企业级一站式软件研发协作平台 CODING 现在的团队有 100 多人,分布在全球各地(深圳、北京、成都、西雅图等),均使用 CODING 研发管理系统作为云端协作平台。 在 CODING,不仅研发相关的团队使用 CODING 来进行研发管理,市场、运营、行政的部门也同样使用 CODING 进行任务分配与追踪、文件分享等日常工作。 逆水行舟,不进则退,我们自身使用 CODING 进行开发,旨在不断完善 CODING 的功能,优化提升 CODING 的使用体验,让 CODING 成为最适合中国式敏捷的研发管理系统,真正做到让中国的软件研发团队开发更简单
二、基于模型测试工具Spec Explorer Spec Explorer是微软发布的一款与Visual Studio紧密整合的基于模型测试的工具。 微软的多个不同规模的项目都已将Spec Explorer 纳入为开发流程的一部分。 使用Spec Explorer 帮助这些团队更快速创建测试用例、确保需求覆盖的可预见性并提供项目生命周期管理及软件更新的支持。 InfoQ上朱永光11月发布了一篇文章用Spec Explorer进行基于模型的测试,文章里提到了Spec Explorer分别提供了Visual Studio 2008和Visual Studio 2010 这些都是了解和学习Spec Explorer这个工具的资源。
不是版本太低就是文件分布太野路子”,此时我们需要自己订制软件包的需求,我们会把一些源码包按照我们的需求来做成rpm包,其中的Spec文件是制作RPM包的核心。 BUILD:源码解压以后放的目录 RPMS:制作完成后的rpm包存放目录 SOURCES:存放源文件,配置文件,补丁文件等放置的目录【常用】 SPECS:存放spec 文件,作为制作rpm包的文件,即:nginx.spec……【常用】 SRPMS:src格式的rpm包目录 BuiltRoot:虚拟安装目录,即在整个install的过程中临时安装到这个目录 最终,Spec文件中最后有清理阶段,这个目录中的内容将被删除 Spec文件的宏定义: rpmbuild --showrc | grep topdir #工作车间目录 文件目录如下: [devops]$ pwd $HOME/rpmbuild/SPEC 以下为Nginx Spec file的实例: cat